DUTILLEUL, S. COLLART: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Droit économique et sécurité alimentaire

Collart Dutilleul, François, Pironon, Valérie

Journal:

Revue internationale de droit économique

Year:

2012

Language:

french

File:

PDF, 352 KB

french, 2012

2

A Hybrid Method for Assigning Containers to AGVs in Container Terminal

Zaghdoud, Radhia, Mesghouni, Khaled, Dutilleul, Simon Collart, Zidi, Kamel, Ghedira, Khaled

Journal:

IFAC-PapersOnLine

Year:

2016

Language:

english

File:

PDF, 752 KB

english, 2016

3

Implementation of ERTMS: A Methodology Based on Formal Methods and Simulation with Respect to French National Rules

Ferlin, Antoine, Ben-Ayed, Rahma, Sun, Pengfei, Collart-Dutilleul, Simon, Bon, Philippe

Journal:

Transportation Research Procedia

Year:

2016

Language:

english

File:

PDF, 327 KB

english, 2016

4

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 555 KB

english, 2019

5

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Interoperability, performance and resilience of railway transport systems

Collart-Dutilleul, Simon, Rotoli, Francesco

Year:

2015

Language:

english

File:

PDF, 242 KB

english, 2015

6

Porous Silicon for Biomedical Applications || Porous silicon scaffolds for stem cells growth and osteodifferentiation

Collart Dutilleul, P.-Y.

Year:

2014

Language:

english

File:

PDF, 1.25 MB

english, 2014

7

La responsabilité de l’industriel : à propos de la mise en oeuvre du principe de précaution dans le secteur agro-alimentaire

Collart Dutilleul, François

Journal:

Revue générale de droit

Year:

2002

Language:

french

File:

PDF, 1.10 MB

french, 2002

8

[ASME 2015 Joint Rail Conference - San Jose, California, USA (Monday 23 March 2015)] 2015 Joint Rail Conference - An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling

Boudi, Zakaryae, El Koursi, El Miloudi, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 1.16 MB

english, 2015

9

Les cellules souches de la pulpe dentaire : caractéristiques, cryopréservation et potentialités thérapeutiques

Collart Dutilleul, Pierre-Yves, Thonat, Catherine, Jacquemart, Pierre, Cuisinier, Frédéric, Levallois, Bernard, Chaubron, Franck

Journal:

L'Orthodontie Française

Year:

2012

Language:

french

File:

PDF, 429 KB

french, 2012

10

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 655 KB

english, 2019

11

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Threat Modeling in the Railway Domain

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.47 MB

english, 2019

12

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.49 MB

english, 2019

13

[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Year:

2019

Language:

english

File:

PDF, 1.64 MB

english, 2019

14

Adding Technological Solutions for Safety Improvement at Level Crossings: A Functional Specification

Bahloul, Khaled, Defossez, François, Ghazel, Mohamed, Collart-Dutilleul, Simon

Journal:

Procedia - Social and Behavioral Sciences

Year:

2012

File:

PDF, 503 KB

2012

15

Integration of B Activity into a Global Design Process of Critical Software

Bon, Philippe, Collart-Dutilleul, Simon, Petit, Dorian

Journal:

Procedia - Social and Behavioral Sciences

Year:

2012

File:

PDF, 1001 KB

2012

16

The law pertaining to food issues and natural resources exploitation and trade

François Collart Dutilleul

Journal:

Agriculture & Food Security

Year:

2012

Language:

english

File:

PDF, 240 KB

english, 2012

17

[IEEE SMC '98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics - San Diego, CA, USA (11-14 Oct. 1998)] SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218) - P-time Petri nets and the hoist scheduling problem

Collart Dutilleul, S., Denat, J.-P.

Year:

1998

Language:

english

File:

PDF, 469 KB

english, 1998

18

Robust control strategies facing disturbances in manufacturing workshops with time constraints

Mhalla, Anis, Jerbi, Nabil, Collart Dutilleul, Simon, Craye, Etienne, Benrejeb, Mohamed

Journal:

Computers & Industrial Engineering

Year:

2013

Language:

english

File:

PDF, 900 KB

english, 2013

19

[IEEE 14th International Conference on Sciences and Techniques of Automatic Control and Computer Engineering (STA2013) - Sousse (2013.12.20-2013.12.22)] 14th International Conference on Sciences and Techniques of Automatic Control & Computer Engineering - STA'2013 - Contribution to the monitoring of manufacturing systems with time constraints: Application to a surface treatment line

Mhalla, A., Jenhani, O., Dutilleul, S. Collart, Benrejeb, M.

Year:

2013

Language:

english

File:

PDF, 768 KB

english, 2013

20

Adhesion and Proliferation of Human Mesenchymal Stem Cells from Dental Pulp on Porous Silicon Scaffolds

Collart-Dutilleul, Pierre-Yves, Secret, Emilie, Panayotov, Ivan, Deville de Périère, Dominique, Martín-Palma, Raúl J., Torres-Costa, Vicente, Martin, Marta, Gergely, Csilla, Durand, Jean-Olivier, Cuni

Journal:

ACS Applied Materials & Interfaces

Year:

2014

Language:

english

File:

PDF, 1.36 MB

english, 2014

21

Lysine-Appended Polydiacetylene Scaffolds for Human Mesenchymal Stem Cells

Haridas, V., Sadanandan, Sandhya, Collart-Dutilleul, Pierre-Yves, Gronthos, Stan, Voelcker, Nicolas H.

Journal:

Biomacromolecules

Year:

2014

Language:

english

File:

PDF, 1.37 MB

english, 2014

22

Active robustness of a milk manufacturing workshop with time constraints

Collart-Dutilleul, Simon, Mhalla, Anis, Craye, Etienne, Benrejeb, Mohamed

Journal:

International Journal of Production Research

Year:

2013

Language:

english

File:

PDF, 6.96 MB

english, 2013

23

[IEEE Multiconference on "Computational Engineering in Systems Applications - Beijing, China (2006.10.4-2006.10.6)] The Proceedings of the Multiconference on "Computational Engineering in Systems Applications" - Safety requirements and p-time Petri nets: A Level Crossing case study

Dutilleul, S. Collart, Defossez, F., Bon, P.

Year:

2006

Language:

english

File:

PDF, 1.57 MB

english, 2006

24

Root canal hydrophobization by dentinal silanization: Improvement of silicon-based endodontic treatment tightness

Collart Dutilleul, Pierre-Yves, Fonseca, Cesar Gaitán, Zimányi, László, Romieu, Olivier, Pozos-Guillén, Amaury J., Semetey, Vincent, Cuisinier, Frédéric, Pérez, Elías, Levallois, Bernard

Journal:

Journal of Biomedical Materials Research Part B: Applied Biomaterials

Year:

2013

Language:

english

File:

PDF, 503 KB

english, 2013

25

Sprayed Cells and Polyelectrolyte Films for Biomaterial Functionalization: The Influence of Physical PLL-PGA Film Treatments on Dental Pulp Cell Behavior

Panayotov, Ivan V., Collart-Dutilleul, Pierre-Yves, Salehi, Hamideh, Martin, Marta, Végh, Attila, Yachouh, Jacques, Vladimirov, Boyan, Sipos, Péter, Szalontai, Balázs, Gergely, Csilla, Cuisinier, Fréd

Journal:

Macromolecular Bioscience

Year:

2014

Language:

english

File:

PDF, 1.08 MB

english, 2014

26

[IEEE 2012 UKACC International Conference on Control (CONTROL) - Cardiff, United Kingdom (2012.09.3-2012.09.5)] Proceedings of 2012 UKACC International Conference on Control - Graph theory: Application to system recovery

Mekki, Ahmed, Collart-Dutilleul, Simon

Year:

2012

Language:

english

File:

PDF, 904 KB

english, 2012

27

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - A Multi-objective Approach for Assignment Containers to AIVs in a Container Terminal

Zaghdoud, Radhia, Collart-Dutilleul, Simon, Ghedira, Khaled, Mesghouni, Khaled, Zidi, Kamel

Year:

2013

Language:

english

File:

PDF, 411 KB

english, 2013

28

[IEEE 2011 International Conference on Communications, Computing and Control Applications (CCCA) - Hammamet, Tunisia (2011.03.3-2011.03.5)] 2011 International Conference on Communications, Computing and Control Applications (CCCA) - Computation algorithm of the exact value of passive robustness in milk manufacturing workshop

Mhalla, A., Collart Dutilleul, S., Jerbi, N., Benrejeb, M., Craye, E.

Year:

2011

Language:

english

File:

PDF, 335 KB

english, 2011

29

[IEEE 2011 3rd IEEE International Symposium on Logistics and Industrial Informatics (LINDI 2011) - Budapest, Hungary (2011.08.25-2011.08.27)] 3rd IEEE International Symposium on Logistics and Industrial Informatics - A set of design oriented scientific tools to assist abstract B machine specification

Collart-Dutilleul, Simon, Bon, Philippe, Petit, Dorian

Year:

2011

Language:

english

File:

PDF, 1.26 MB

english, 2011

30

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL, USA (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - HCPN Modeling for ERTMS Requirements Specification

Boudi, Zakaryae, Koursi, El Miloudi El, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 130 KB

english, 2015

31

Initial stem cell adhesion on porous silicon surface: molecular architecture of actin cytoskeleton and filopodial growth

Collart-Dutilleul, Pierre-Yves, Panayotov, Ivan, Secret, Emilie, Cunin, Frédérique, Gergely, Csilla, Cuisinier, Frédéric, Martin, Marta

Journal:

Nanoscale Research Letters

Year:

2014

Language:

english

File:

PDF, 3.38 MB

english, 2014

32

Confocal Raman data analysis enables identifying apoptosis of MCF-7 cells caused by anticancer drug paclitaxel

Salehi, Hamideh, Middendorp, Elodie, Panayotov, Ivan, Dutilleul, Pierre-Yves Collart, Vegh, Attila-Gergely, Ramakrishnan, Sathish, Gergely, Csilla, Cuisinier, Frederic

Journal:

Journal of Biomedical Optics

Year:

2013

Language:

english

File:

PDF, 4.12 MB

english, 2013

33

SPIE Proceedings [SPIE SPIE BiOS - San Francisco, California (Saturday 22 January 2011)] Nanoscale Imaging, Sensing, and Actuation for Biomedical Applications VIII - Raman confocal microscopy and AFM combined studies of cancerous cells treated with Paclitaxel

Derely, L., Collart Dutilleul, P.-Y., Michotte de Welle, Sylvain, Szabo, V., Gergely, C., Cuisinier, F. J. G., Cartwright, Alexander N., Nicolau, Dan V.

Year:

2011

Language:

english

File:

PDF, 3.03 MB

english, 2011

34

Errata: Confocal Raman data analysis enables identifying apoptosis of MCF-7 cells caused by anticancer drug paclitaxel

Salehi, Hamideh, Middendorp, Elodie, Panayotov, Ivan, Collart Dutilleul, Pierre-Yves, Vegh, Attila-Gergely, Ramakrishnan, Sathish, Gergely, Csilla, Cuisinier, Frederic

Journal:

Journal of Biomedical Optics

Year:

2013

Language:

english

File:

PDF, 42 KB

english, 2013

35

Confocal Raman microscopy to monitor extracellular matrix during dental pulp stem cells differentiation

Salehi, Hamideh, Collart-Dutilleul, Pierre-Yves, Gergely, Csilla, Cuisinier, Frédéric J. G.

Journal:

Journal of Biomedical Optics

Year:

2015

Language:

english

File:

PDF, 2.23 MB

english, 2015

36

Cyclic Scheduling of Flexible Job-shop with Time Window Constraints and Resource Capacity Constraints

Zhang, Hongchang, Collart-Dutilleul, Simon, Mesghouni, Khaled

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 818 KB

english, 2015

37

A new rat model for translational research in bone regeneration.

Matthieu, RENAUD, Sandor, FARKASDI, Coline, PONS, Ivan, PANAYOTOV, Pierre-Yves, COLLART-DUTILLEUL, Hubert, TAILLADES, Alban, DESSOUTTER, Philippe, BOUSQUET, Varga, Gabor, Frédéric, CUISINIER, Jacques,

Journal:

Tissue Engineering Part C Methods

Year:

2015

Language:

english

File:

PDF, 885 KB

english, 2015

38

A UV-Raman spectrometry method for quality control of anticancer preparations: Results after 18 months of implementation in hospital pharmacy

Nardella, Flore, Beck, Morgane, Collart-Dutilleul, Pierre, Becker, Guillaume, Boulanger, Coralie, Perello, Laurent, Gairard-Dory, Anne, Gourieux, Bénédicte, Ubeaud-Séquier, Geneviève

Journal:

International Journal of Pharmaceutics

Year:

2016

Language:

english

File:

PDF, 559 KB

english, 2016

39

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Model transformation from coloured Petri nets with prioritized transitions to B machines

Sun, Pengfei, Bon, Philippe, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 332 KB

english, 2015

40

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Colored Petri Nets formal transformation to B machines for safety critical software development

Boudi, Zakaryae, El Koursi, El Miloudi, Collart-Dutilleul, Simon

Year:

2015

Language:

english

File:

PDF, 354 KB

english, 2015

41

SPIE Proceedings [SPIE SPIE BiOS - San Francisco, California, United States (Saturday 1 February 2014)] Imaging, Manipulation, and Analysis of Biomolecules, Cells, and Tissues XII - Dental pulp stem cells (DPSCs) differentiation study by confocal Raman microscopy

Farkas, Daniel L., Nicolau, Dan V., Leif, Robert C., Salehi, H., Collart-Dutilleul, P.-Y., Gergely, C., Cuisinier, F. J. G.

Year:

2014

Language:

english

File:

PDF, 850 KB

english, 2014

42

[IEEE Multiconference on "Computational Engineering in Systems Applications - Beijing, China (2006.10.4-2006.10.6)] The Proceedings of the Multiconference on "Computational Engineering in Systems Applications" - Localization of Time Disturbances in Tolerant Multi-product Job-shops Without Assembling Tasks

Jerbi, N., Dutilleul, S. Collart, Craye, E., Benrejeb, M.

Year:

2006

Language:

english

File:

PDF, 1.77 MB

english, 2006

43

[IEEE 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Seville, Spain (2015.10.21-2015.10.23)] 2015 International Conference on Industrial Engineering and Systems Management (IESM) - Parallel verification of temporal properties using dynamic analysis

Ferlin, Antoine, Bon, Philippe, Collart-Dutilleul, Simon, Wiels, Virginie

Year:

2015

Language:

english

File:

PDF, 263 KB

english, 2015

44

Condition based Maintenance applied to Reduce Unavailability of Machines in Flexible Job Shop Scheduling Problem

ZHENG, Yahong, MESGHOUNI, Khaled, DUTILLEUL, Simon COLLART

Journal:

IFAC Proceedings Volumes

Year:

2013

Language:

english

File:

PDF, 388 KB

english, 2013

45

From Place/Transition Petri nets to B abstract machines for safety critical systems

Boudi, Zakaryae, Miloudi, El, Koursi, El, Collart-Dutilleul, Simon

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 957 KB

english, 2015

46

Functioning mode Management and formal assessment of safety

Bon, Philippe, Collart-Dutilleul, Simon, Defossez, François

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 227 KB

english, 2010

47

Rejection of Temporal Disturbances in Milk Manufacturing Unit with Time Constraints

MHALLA, ANIS, DUTILLEUL, SIMON COLLART, JERBI, NABIL, CRAYE, ETIENNE

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 451 KB

english, 2010

48

Passive Robustness in Milk Manufacturing Unit with Time Constraints

MHALLA, A., DUTILLEUL, S. COLLART, JERBI, N., CRAYE, E., BENREJEB, M.

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 295 KB

english, 2010

49

Using Interval Constrained Petri Nets for Regulation of Quality

Dhouibi, H., Dutilleul, S. Collart, L, L. Nabli, Craye, E.

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 250 KB

english, 2010

50

Optimization Problem of Assignment Containers to AIVs in a Container Terminal

Zaghdoud, Radhia, Mesghouni, Khaled, Dutilleul, Simon Collart, Zidi, Kamel, Ghedira, Khaled

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 240 KB

english, 2012